Skip to content

Perf/dlmalloc guest allocator - #869

Open
jotabulacios wants to merge 16 commits into
mainfrom
perf/dlmalloc-guest-allocator
Open

Perf/dlmalloc guest allocator#869
jotabulacios wants to merge 16 commits into
mainfrom
perf/dlmalloc-guest-allocator

Conversation

@jotabulacios

@jotabulacios jotabulacios commented Jul 27, 2026

Copy link
Copy Markdown
Collaborator

The guest allocator moves from embedded-alloc's TLSF heap to dlmalloc, with TLSF kept one
flag away (tlsf-alloc) for fallback. dlmalloc sits on a bump provider that hands it
page-aligned chunks of the guest heap, so it still reuses freed memory — no OOM — while
each alloc and free costs fewer guest instructions than TLSF.

Isolated A/B on the same tree, only the feature differs: guest cycles drop 11.2% on a
10-transfer ethrex block (1,702,365 → 1,511,225) and 13.1% on a 20-transfer one
(3,915,738 → 3,404,649). In the guest profile the allocator goes from 24.4% of cycles to
9.5%.

@diegokingston

Copy link
Copy Markdown
Collaborator

/bench

@github-actions

github-actions Bot commented Jul 27, 2026

Copy link
Copy Markdown

Benchmark — real block (ethrex_mainnet_25368371.bin) (median of 3)

continuations · epoch 2^22 · 12 epochs

Metric main PR Δ
Peak heap 52060 MB 52560 MB +500 MB (+1.0%) ⚪
Prove time 196.587s 154.176s -42.411s (-21.6%) 🟢

🎉 Improvement on the real block — prove time down 21.6%.

Prove-time spread 2.7% (154.176s / 157.986s / 153.831s)

Commit: b525057 · Baseline: cached · Runner: self-hosted bench

@diegokingston

Copy link
Copy Markdown
Collaborator

/bench

@jotabulacios
jotabulacios marked this pull request as ready for review July 29, 2026 13:51
@MauroToscano

Copy link
Copy Markdown
Contributor

/bench

@MauroToscano

Copy link
Copy Markdown
Contributor

/bench

@MauroToscano

Copy link
Copy Markdown
Contributor

/bench-gpu

@github-actions

github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown

GPU Benchmark (ABBA) — b525057279 vs main (14 pairs)

RTX 5090 · Vast.ai datacenter @ $0.6699074074074074/hr · prover/cuda · ethrex real block, continuations · drift-free A/B/B/A

❌ Run failed. Last log lines:


Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants